]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 408c922) | patch
ci: Use the CI image produced by the pipeline
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 20 Nov 2020 14:53:51 +0000 (15:53 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 20 Nov 2020 19:33:40 +0000 (20:33 +0100)
commit1fbf62f0c656fce276155fc47ba7baf0dce13030
treeb0a896e3ff3810a7ca72d24167d3f836ba6da8f7tree | snapshot
parent408c922148d15b61322a98ecdd9653b9eaa8a947commit | diff
ci: Use the CI image produced by the pipeline

The newly-added eslint_mr job still uses the manually built
extension image instead of the image that is built as part
of the pipeline.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1504>
.gitlab-ci.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.